مشخصات کتاب

Semantics and logics of computation: [... summer school on Semantics and Logics of Computation at the Isaac Newton Institute for Mathematical Sciences, Cambridge UK, in September 1995]

ویرایش: [1. publ ed.] 
نویسندگان: Pitts Andrew M.,  Dybjer P.   (eds.)  
سری: Isaac Newton Institute for Mathematical Sciences <Cambridge>. Publications of the Newton Institute ; 14 
ISBN (شابک) : 9780521580571, 0521580579 
ناشر: Cambridge University Press 
سال نشر: 1997 
تعداد صفحات: 361
[373] 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 Mb 

در صورت تبدیل فایل کتاب Semantics and logics of computation: [... summer school on Semantics and Logics of Computation at the Isaac Newton Institute for Mathematical Sciences, Cambridge UK, in September 1995] به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب Semantics and Logics of Computation: [... مدرسه تابستانی در Semantics and Logics of Computation در موسسه علوم ریاضی اسحاق نیوتن، کمبریج انگلستان، در سپتامبر 1995] نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب Semantics and Logics of Computation: [... مدرسه تابستانی در Semantics and Logics of Computation در موسسه علوم ریاضی اسحاق نیوتن، کمبریج انگلستان، در سپتامبر 1995]

دوره های سخنرانی مدرسه تابستانی در مورد منطق و محاسبات مدرن در اینجا ارائه شده است.

توضیحاتی درمورد کتاب به خارجی

Summer school lecture courses on modern logic and computation are presented here.

فهرست مطالب

Content: List of contributors
 Preface
 1. Semantics of interaction: an introduction to game semantics Samson Abramsky
 2. Computational content of classical logic Thierry Coquand
 3. Syntax and semantics of dependent types Martin Hofmann
 4. Game semantics Martin Hyland
 5. Metalanguages and applications Eugenio Moggi
 6. Operationally-based theories of program equivalence Andrew Pitts
 7. Categories in  concurrency Glynn Winskel and Mogens Nielsen
 Index.

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Zondervan handbook of biblical archaeology: a book by book guide to archaeological discoveries related to the bible

دانلود کتاب On the distances and radial velocities of extra-galactic nebulae, and explanation of the latter by the relativity theory of inertia

دانلود کتاب Introducción a ''El origen de la geometría'' de Husserl

دانلود کتاب Mountain of Black Glass (Otherland, Volume 3)

دانلود کتاب П`ять років української трагедії